منابع مشابه
Apport des méthodes formelles pour l'exploitation de logs informatiques dans un contexte contractuel
Résumé. Dans cet article, nous présentons la démarche adoptée dans le projet LISE pour spécifier de manière formelle les responsabilités des parties dans un contrat portant sur des logiciels. Nous décrivons deux options, l’une reposant sur une attribution a priori des responsabilités en fonction des dysfonctionnements constatés dans les logs, l’autre sur une analyse de causalité, et nous les il...
متن کاملA Formal Framework for specifying and Analyzing Liabilities Using Log as Digital Evidence. (Un cadre formel pour spécifier et analyser les responsabilités, basé sur les logs comme preuve électronique)
Despite the e ort made to de ne methods for the design of high quality software, experience shows that failures of IT systems due to software errors remain very common and one must admit that even critical systems are not immune from that type of errors. One of the reasons for this situation is that software requirements are generally hard to elicit precisely and it is often impossible to predi...
متن کاملNew Relevance of Intergovernmental Partnerships and Their Implications for Accountability Management
85517 Document complet disponible sur OLIS dans son format d'origine Complete document available on OLIS in its original format PUMA/RD(99)4/FINAL 2 This report and the related case studies are available on internet: http//:www.oecd.org/puma/ Disponible également en français sous le titre : L'Affectation des Responsabilités dans les Partenariats entre Niveaux d'Administration © OECD, 1999 Appli...
متن کاملL'influence du mysticisme islamique sur l'éducation iranienne
Il faut savoir que le mysticisme a eu toujours de grandes influences sur tout ce qui concerne la vie et la culture iraniennes, surtout sur l’éducation qui est une étape très importante dans la formation de l’avenir de la jeunesse. C’est vrai, le mysticisme est une approche individualiste alors que l’éducation reste une affaire collective et sociale. Comment arrive-t-il, étant une pratique perso...
متن کاملToward a New Social Contract? The Participation of Civil Society in Swedish Welfare Policymaking, 1958–2012
In contribution to current debates on the changing roles and responsibilities of civil society in welfare state arrangements, I examined the participation of various types of civil society organizations in national welfare policymaking in Sweden between 1958 and 2012. Drawing upon an extensive dataset of over 1400 civil society, state, and for-profit organizations, I tested three claims related...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Cahiers Droit, Sciences & Technologies
سال: 2021
ISSN: 1967-0311,2431-8663
DOI: 10.4000/cdst.3573